Drapé : Degas, Christo, Michel-Ange, Rodin, Man Ray, Dürer…
نویسندگان
چکیده
منابع مشابه
ANGE - Automatic Neural Generator
Artificial Neural Networks have a wide application in terms of research areas but they have never really lived up to the promise they seemed to be in the beginning of the 80s. One of the reasons for this is the lack of hardware for their implementation in a straightforward and simple way. This paper presents a tool to respond to this need: An Automatic Neural Generator. The generator allows a u...
متن کاملEin Mensch namens Dürer
for research on these problems. But obviously Brechka is not familiar with the medicohistorical literature of the van Swieten era. The books of Hecker and Puschmann, which today are still indispensable, are not referred to, nor are A. v. Rosa's and Max Neuburger's important publications of original sources. Though Brechka quotes many times from van Swieten's letters to the Portuguese physician ...
متن کاملRODIN “ Rigorous Open Development Environment for Complex Systems ” RODIN Deliverable
and Concrete Local Witnesses. Witnesses for abstract local variables tM are used in the guard strengthening proof obligation. Witnesses for concrete local variables tN are used in the guard equivalence proof obligation of external events (REF GRD EXT). Derived Witnesses. The user interface could suggest certain invariants and theorems to be global witnesses if they are equations of the form u =...
متن کاملDesigning Active Objects in Degas
This report discusses application design for active databases, in particular for the active object-based database programming language Degas. In Degas one modularisation principle, the object, is applied to all elements of the application, including rules. We discuss a design process consisting of four phases, corresponding with the four kinds of capabilities in a Degas object, attributes, meth...
متن کاملSMT Solvers for Rodin
Formal development in Event-B generally requires the validation of a large number of proof obligations. Some automatic tools exist to automatically discharge a significant part of them, thus augmenting the efficiency of the formal development. We here investigate the use of SMT (Satisfiability Modulo Theories) solvers in addition to the traditional tools, and detail the techniques used for the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Critique d’art
سال: 2020
ISSN: 1246-8258,2265-9404
DOI: 10.4000/critiquedart.62347